Integration of sin^3 x